Reasoning about rational, but not logically omniscient, agents
نویسندگان
چکیده
منابع مشابه
Reasoning about Rational, but not Logically Omniscient Agents (Extended Abstract)
jekt die notwendige Folgerung vollzieht, dann weit (glaubt) es auch die Konklusion. Um diese Idee zu formalisieren, schlage ich v or, die epis-temische Logik zu \dynamisieren", d.h., eine dynamische Komponente in die Sprache einzuf uhren. An einem Beispiel wird erl autert, wie die \Dynamisierung" der epistemischen Logik realisiert werden kann. Die Arbeit ist eine erweiterte Fassung meiner Pub...
متن کاملA review of “ Reasoning About Rational Agents ”
Reasoning About Rational Agents is concerned with developing practical reasoning (as contrasted with theoretical reasoning) for rational computer agents within the “Belief, Desire, Intention” model. The BDI model for computer agents is based on the theory of rational action in humans put forward in 1988 by the philosopher M. Bratman in his book Intention, Plans and Practical Reason. BDI logics ...
متن کاملReasoning about Rational Agents: A Review
fers a thorough study of the logical foundations of the belief-desire-intention (BDI) model of rational agency. The origins of the BDI model lie in the theory of human practical reasoning developed by the philosopher Michael Bratman (1987) in the mid-1980s. The theory was further developed by the members of the Rational Agency Project at SRI International and has seen a number of successful imp...
متن کاملCommunication Breakdown? Reasoning about Language and Rational Agents
This paper examines different approaches to rationality in analytic philosophy and AI, in the light of Bermúdez’s proposal that a full account of rationality must aim to explain how agents can both select and explain actions, as well as assessing them against some normative standard. We briefly survey instrumental, linguistic and discursive accounts of rationality, and conjecture that Habermas’...
متن کاملA Logic for Reasoning about Rational Agents: Yet Another Attempt
We propose a new version ofATLP (“ATLwith plausibility”), a logic for reasoning about the outcome of rational play in game-like scenarios. Unlike in [8], where two different extensions ofATLwere used for specifying rationality and reasoning about agents’ behavior, we now propose that rationality specifications can be written in ATLP itself, and nested in ATLP formulae. We believe that the new v...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 1997
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/7.5.633